Judas also was very earnest in pursuing them, killing those wicked wretches, of whom he slew about thirty thousand men.